Weak-strong uniqueness for compressible Navier-Stokes system with slip boundary conditions on time dependent domains
نویسندگان
چکیده
We consider the compressible Navier-Stokes system on time-dependent domains with prescribed motion of the boundary, supplemented with slip boundary conditions for the velocity. We derive the relative entropy inequality in the spirit of [7] for the system on moving domain and use it to prove the weak-strong uniqueness property.
منابع مشابه
Weak solutions to the barotropic Navier-Stokes system with slip boundary conditions in time dependent domains
We consider the compressible (barotropic) Navier-Stokes system on time-dependent domains, supplemented with slip boundary conditions. Our approach is based on penalization of the boundary behaviour, viscosity, and the pressure in the weak formulation. Global-in-time weak solutions are obtained.
متن کاملNavier-Stokes-Fourier System on Unbounded Domains: Weak Solutions, Relative Entropies, Weak-Strong Uniqueness
We investigate the Navier-Stokes-Fourier system describing the motion of a compressible, viscous and heat conducting fluid on large class of unbounded domains with no slip and slip boundary conditions. We propose a definition of weak solutions, that is particularly convenient for the treatment of the Navier-Stokes-Fourier system on unbounded domains. We prove existence of weak solutions for arb...
متن کاملUniform Regularity and Vanishing Viscosity Limit for the Compressible Navier-Stokes with General Navier-Slip Boundary Conditions in Three-Dimensional Domains
In this paper, we investigate the uniform regularity for the isentropic compressible Navier-Stokes system with general Navier-slip boundary conditions (1.6) and the inviscid limit to the compressible Euler system. It is shown that there exists a unique strong solution of the compressible Navier-Stokes equations with general Navier-slip boundary conditions in an interval of time which is uniform...
متن کاملWeak-strong uniqueness for the isentropic compressible Navier-Stokes system
We prove weak-strong uniqueness results for the isentropic compressible Navier-Stokes system on the torus. In other words, we give conditions on a strong solution so that it is unique in a class of weak solutions. Known weak-strong uniqueness results are improved. Classical uniqueness results for this equation follow naturally.
متن کاملNotes on Navier - Stokes - Fourier system
These Lecture Notes are devoted to some aspects of the theory of the Navier-Stokes-Fourier system. We shall discuss 1) existence of weak solutions, 2) existence of suitable weak solutions and relative entropies, 3) weak strong uniqueness property in the class of weak solutions. For physical reasons, we shall limit ourselves to the three dimensional physical space, and for the sake of simplicity...
متن کامل